Abstract Islam displaces the ancient idea of time as an implacable enemy with the scriptural image of time as the stage of judgment, a narrow bridge of accountability stretched between creation and eternity. The stark contrast of temporal evanescence with all the immutability of eternity challenges Muslim theologians and philosophers of the classic age. The dialectical theologians of the kalam describe time and change atomisti?cally and even occasionalistically, seeking to preserve the absoluteness of the contrast and to avoid compromising the (...) purity of God's creative act and the sheer facticity of its temporal effect. The falasifa, philosophers in the Greek tradition, use Platonic, Aristotelian, and Neoplatonic arguments to reconcile temporality with eternity. Stripped of argument, their emanative and archetypal schemes join the core symbolisms of Islam, but only when accommodated to the Qur'anic ideas of judgment and creation. (shrink)

The question asked in this article is: what is a parasite?. Defining a parasite requires defining its host at the same time. A difficult question therefore arises about host-parasite relationships. The object of general parasitology is in fact to study the relationship between a host and its parasite. The initial question what is a parasite? has to be reformulated within a conceptual framework, that of relationship. This article is an attempt to transpose into parasitology some concepts which have been profitable (...) in the fields of physics and chemistry. The studies of R. Thom about the individual are also used. Concepts like that of field and principles like that of minimization are probably operational on a high level of organization. The description of host-parasite relationships could benefit from these concepts. (shrink)

The projection postulate, which prescribes “collapse of the state vector” upon measurement, is not an essential part of quantum mechanics. Rather it is only an optional discarding of certain branches of the state vector that are expected to be irrelevant for the purpose at hand. However, its use is hazardous, and there are examples of repeated measurements for which the conventional application of the projection postulate leads to incorrect results.

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

The attempt to derive (rather than assume) the statistical postulate of quantum theory from the many-universes interpretation of Everett and De Witt is analyzed The many-universes interpretation is found to be neither necessary nor sufficient for the task.

Abstract. We argue that all human beings have a special type of dignity which is the basis for (1) the obligation all of us have not to kill them, (2) the obligation to take their well-being into account when we act, and (3) even the obligation to treat them as we would have them treat us, and indeed, that all human beings are equal in fundamental dignity. We give reasons to oppose the position that only some human beings, because of (...) their possession of certain characteristics in addition to their humanity (for example, an immediately exercisable capacity for self-consciousness, or for rational deliberation), have full moral worth. What distinguishes human beings from other animals, what makes human beings persons rather than things, is their rational nature, and human beings are rational creatures by virtue of possessing natural capacities for conceptual thought, deliberation, and free choice, that is, the natural capacity to shape their own lives. (shrink)

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

In their "traite de l'argumentation" perelman olbrechts indicate five factors contributing to the forces of arguments. the present paper is an analysis of each of these five factors taken in isolation; it indicates directions for operationalization of these factors. it stresses moreover that this multidimensional concept if it is to be used must lead to a weighted function of the five variables in order to be able to use the concept of "force of an argument." the absence of this weighted (...) function in po is deplored and it is argued that no theory of argumentation, even if it decides to remain completely descriptive, can be developed without definition of this weighted function. (shrink)